package cn.edu.tju.elm.repository;

import cn.edu.tju.core.model.User;
import org.springframework.data.jpa.repository.JpaRepository;
import java.util.Optional;

/**
 * 用户数据访问接口，继承JpaRepository获得基础CRUD功能
 */
public interface ElmUserRepository extends JpaRepository<User, Long> {
    
    /**
     * 根据用户名查询用户
     * @param username 用户名
     * @return 包含用户信息的Optional对象
     */
    Optional<User> findByUsername(String username);
    
    /**
     * 判断用户名是否已存在
     * @param username 用户名
     * @return 存在返回true，否则返回false
     */
    boolean existsByUsername(String username);
}
